The Pontryagin duals of Q/Z and Q
نویسنده
چکیده
Write S = {z ∈ C : |z| = 1}. A character of a locally compact abelian group G is a continuous group homomorphism G → S. We denote by Ĝ the set of characters of G, where for φ1, φ2 ∈ Ĝ and x ∈ G, we define (φ1φ2)(x) = φ1(x)φ2(x). We assign Ĝ the final topology for the family of functions {φ 7→ φ(x) : x ∈ G}, i.e., the coarsest topology on Ĝ so that for each x ∈ G, the function φ 7→ φ(x) is continuous Ĝ→ S. With this topology, it is a fact that Ĝ is itself a locally compact abelian group, called the Pontryagin dual of G. It is a fact that the Pontryagin dual of a discrete abelian group is compact and that the Pontryagin dual of compact abelian group is discrete. The Pontryagin duality theorem states that in the category of locally compact abelian groups, there is a natural isomorphism from the double dual functor to the identity functor. With the subspace topology inherited from R, one checks that a compact subset of Q has empty interior, and therefore Q is not locally compact. Thus, to work with the rational numbers in the category of locally compact abelian groups, we cannot use the subspace topology inherited from R. Rather, we assign Q the discrete topology. (Any abelian group is a locally compact abelian group when assigned the discrete topology.) From now on, when we speak about Q, unless we say otherwise it has the discrete topology. Because we use the discrete topology with Q, its Pontryagin dual Q̂ is a compact abelian group, which we wish to describe in a tractable way.
منابع مشابه
Approximate Duals of $g$-frames and Fusion Frames in Hilbert $C^ast-$modules
In this paper, we study approximate duals of $g$-frames and fusion frames in Hilbert $C^ast-$modules. We get some relations between approximate duals of $g$-frames and biorthogonal Bessel sequences, and using these relations, some results for approximate duals of modular Riesz bases and fusion frames are obtained. Moreover, we generalize the concept of $Q-$approximate duality of $g$-frames and ...
متن کاملL$^q$ inequalities for the ${s^{th}}$ derivative of a polynomial
Let $f(z)$ be an analytic function on the unit disk ${zinmathbb{C}, |z|leq 1}$, for each $q>0$, the $|f|_{q}$ is defined as followsbegin{align*}begin{split}&left|fright|_q:=left{frac{1}{2pi}int_0^{2pi}left|f(e^{itheta})right|^qdthetaright}^{1/q}, 0
متن کاملALGEBRAIC INDEPENENCE OF CERTAIN FORMAL POWER SERIES (II)
We shall extend the results of [5] and prove that if f = Z o a x ? Z [[X]] is algebraic over Q (x), where a = 1, ƒ 1 and if ? , ? ,..., ? are p-adic integers, then 1 ? , ? ,..., ? are linkarly independent over Q if and only if (1+x) ,(1+x) ,…,(1+x) are algebraically independent over Q (x) if and only if f , f ,.., f are algebraically independent over Q (x)
متن کاملGrowth of meromorphic solutions for complex difference equations of Malmquist type
In this paper, we give some necessary conditions for a complex difference equation of Malmquist type $$sum^n_{j=1}f(z+c_j)=frac{P(f(z))}{Q(f(z))},$$ where $n(in{mathbb{N}})geq{2}$, and $P(f(z))$ and $Q(f(z))$ are relatively prime polynomials in $f(z)$ with small functions as coefficients, admitting a meromorphic function of finite order. Moreover, the properties of finite o...
متن کاملNon-Archimedean stability of Cauchy-Jensen Type functional equation
In this paper we investigate the generalized Hyers-Ulamstability of the following Cauchy-Jensen type functional equation$$QBig(frac{x+y}{2}+zBig)+QBig(frac{x+z}{2}+yBig)+QBig(frac{z+y}{2}+xBig)=2[Q(x)+Q(y)+Q(z)]$$ in non-Archimedean spaces
متن کامل